⚔️ Lean Theorem - matmat · Scour

Build a Compiler in Five Projects

kmicinski.com·15h

V.I. Arnold, On teaching mathematics

karlin.mff.cuni.cz·9h·

Discuss: Hacker News

📐Mathematical Art

Railway Oriented Programming

fsharpforfunandprofit.com·1d·

Discuss: Hacker News

🐚Shell Monads

MathlibLemma: Folklore Lemma Generation and Benchmark for Formal Mathematics

arxiv.org·3d

✅Formal Methods

Agentic Proof-Oriented Programming

risemsr.github.io·2d·

Discuss: Lobsters, Hacker News

⚔️Lean Tactics

Revisiting Regular Types

abseil.io·3h

λLambda Encodings

Differential Logic • 1

inquiryintoinquiry.com·2d

📏Linear Logic

Chowla conjecture on the minimum of a cosine series

johndcook.com·11h

📐Interval Arithmetic

Pratt Parsers: Expression Parsing Made Easy

journal.stuffwithstuff.com·7h

📝Concrete Syntax

First Proof | Research-Level Math for AI Evaluation

1stproof.org·1d·

Discuss: Hacker News

🎯Performance Proofs

Logic for Programmers New Release and Next Steps

buttondown.com·3d

⚙️Proof Engineering

surfingcomplexity.blog·4h

⚡Incremental Computation

Further Meditation on Taylor Series

alexkritchevsky.com·3d

📐Interval Arithmetic

How I Built My Project in Haskell

dev.to·1h·

Discuss: DEV

🔗Functional Compilers

Let Lambda Come Over

yamlscript.org·20h

⬆️Lambda Lifting

**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...

freederia.com·1d

🤝Consensus Protocols

Long-Sought Proof Tames Some of Math’s Unruliest Equations

quantamagazine.org·1d·

Discuss: Hacker News, Hacker News

🎯Performance Proofs

The Little Book of Linear Algebra

little-book-of.github.io·1d

📐Linear Algebra

Categorical systems theory

danmackinlay.name·3d

🔀Category Theory

Early History of a Perfect Join Algorithm

remy.wang·3h

🚀Query Optimization

Loading more...